3 cnf sat example